Foundations of computer science

Special Section On Foundations of Computer Science

This special section comprises eight fully refereed papers whose extended abstracts were presented at the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2007) in Providence, Rhode Island, October 21–23, 2007. The unrefereed conference versions of these papers were published by IEEE in the FOCS 2007 proceedings. The regular conference program consisted of 63 papers chosen fr...

Hardness assumptions in the foundations of theoretical computer science

The original impetus for writing this expository note was an idea of J. Nešetřil to edit a series of articles (in a series edited at the Institute for Theoretical Informatics at the Charles University in Prague) on the state of Theoretical Computer Science (TCS). Additional excuses were a lecture on the P/NP problem I gave during the celebrations of the 50th anniversary of the Mathematical Inst...

Logic for Computer Science: Foundations of Automatic Theorem Proving

Mathematical Foundations of Computer Science - Sets, Relations, and Induction

Dear readers, when you are hunting the new book collection to read this day, mathematical foundations of computer science sets relations and induction can be your referred book. Yeah, even many books are offered, this book can steal the reader heart so much. The content and theme of this book really will touch your heart. You can find more and more experience and knowledge how the life is under...

Logicism Renewed: Logical Foundations for Mathematics and Computer Science